Stability Analysis of Wireless Sensor Network Service via Data Stream Methods

Providing stable compositions of Wireless Sensor Network Service (WSNS) is a challenging issue since the data stream architect often has only a limited control over the stability of the composed services. The architect can instead achieve stability by properly planning the data stream architecture. In this paper, we propose a formal approach which allows a data stream architect to perform stability analysis of WSNS-based security service. The approach exploits the concept of stability methods to evaluate the stability function of a wide class of data streams. The effect of the approach and the operation of the tool are demonstrated with respect to a case study of a business security infrastructure realized by simple security services.